Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Gilles Dowek And NotLimousin

List of bibliographic references

Number of relevant bibliographic references: 21.
Ident.Authors (with country if any)Title
001067 Gilles Dowek [France] ; Jean-Pierre Archambault [France] ; Emmanuel Baccelli [France] ; Claudio Cimellli [France] ; Albert Cohen [France] ; Christine Eisenbeis [France] ; Thierry Viéville [France] ; Benjamin Wack [France] ; Hugues Bersini ; Guillaume Le BlancInformatique et sciences du numérique : Édition spéciale Python
001268 Antoine Rousseau [France] ; Aurélie Darnaud [France] ; Brice Goglin [France] ; Céline Acharian [France] ; Christine Leininger [France] ; Christophe Godin [France] ; Clarisse Holik [France] ; Claude Kirchner [France] ; Diane Rives ; Elodie Darquie ; Erwan Kerrien [France] ; Fabrice Neyret [France] ; Florent Masseglia [France] ; Florian Dufour [France] ; Gérard Berry [France] ; Gilles Dowek [France] ; Hélène Robak [France] ; Hélène Xypas ; Irina Illina [France] ; Isabelle Gnaedig [France] ; Joanna Jongwane [France] ; Jocelyne Ehrel ; Laurent Viennot [France] ; Laure Guion ; Lisette Calderan [France] ; Lola Kovacic ; Marie Collin ; Marie-Agnès Enard ; Marie-Hélène Comte [France] ; Martin Quinson [France] ; Martine Olivi [France] ; Mathieu Giraud [France] ; Mathilde Dorémus ; Mia Ogouchi [France] ; Muriel Droin ; Nathalie Lacaux ; Nicolas Rougier [France] ; Nicolas Roussel [France] ; Pascal Guitton [France] ; Pierre Peterlongo [France] ; Rose-Marie Cornus ; Simon Vandermeersch ; Sophie Maheo ; Sylvain Lefebvre [France] ; Sylvie Boldo [France] ; Thierry Viéville [France] ; Véronique Poirel [France] ; Aline Chabreuil ; Arnaud Fischer ; Claude Farge ; Claude Vadel ; Isabelle Astic ; Jean-Pierre Dumont ; Loic Féjoz [France] ; Patrick Rambert ; Pierre Paradinas ; Sophie De Quatrebarbes ; Stéphane Laurent [Belgique]Médiation Scientifique : une facette de nos métiers de la recherche
002E61 Olivier Bournez [France] ; Gilles Dowek [France] ; Rémi Gilleron [France] ; Serge Grigorieff [France] ; Jean-Yves Marion [France] ; Simon Perdrix [France] ; Sophie Tison [France]Décidabilité et Complexité
004C71 Denis Cousineau [France] ; Gilles Dowek [États-Unis]Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo
004E56 Paul Brauner [France] ; Gilles Dowek [France] ; Benjamin Wack [France]Normalization in Supernatural deduction and in Deduction modulo
007472 Gilles Dowek ; Thérèse Hardin ; Claude KirchnerTheorem Proving Modulo
007981 Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Theorem Proving Modulo
007D38 Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Theorem Proving Modulo Revised Version
007F46 Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Binding Logic: proofs and models
008599 Gilles Dowek ; Thérèse Hardin ; Claude KirchnerBinding Logic : proofs and models
008832 Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Binding Logic: Proofs and Models
009197 Gilles Dowek [France] ; Therese Hardin [France] ; Claude Kirchner [France]HOL-λσ: an intentional first-order expression of higher-order logic
009E84 Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Higher Order Unification via Explicit Substitutions
009F30 Gilles Dowek [France]Axioms vs. Rewrite Rules: From Completeness to Cut Elimination
00A350 Gilles Dowek ; Thérèse Hardin ; Claude Kirchner [France]HOL-$\lambda \sigma$ an intentional first-order expression of higher-order logic
00A733 Gilles Dowek ; Thérèse Hardin ; Claude KirchnerHOL-λ σ an intentional first-order expression of higher-order logic
00A992 Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic
00B550 Gilles Dowek [France] ; Thérèse Hardin ; Claude Kirchner [France] ; Frank PfenningUnification via Explicit Substitutions: The Case of Higher-Order Patterns
00B557 Gilles Dowek [France] ; Thérèse Hardin ; Claude Kirchner [France]Theorem Proving Modulo
00B641 Gilles Dowek [France] ; Thérèse Hardin ; Claude Kirchner [France]Holls: an Intentional First-Order Expression of Higher-Order Logic
00C833 Gilles Dowek ; Thérèse Hardin ; Claude Kirchner [France]Higher Order Unification via Explicit Substitutions
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022